<?php
$root = $_SERVER['DOCUMENT_ROOT'];
include($root . "/util/session.php"); //checks that the user is logged in
include($root . "/util/privilege_check.php");
checkPrivilege("teacher");
?>
<!DOCTYPE html>
<html lang="en">

<head>
  <meta charset="UTF-8">
  <meta name="viewport" content="width=device-width, initial-scale=1.0">
  <meta name="description" content="Teacher panel">
  <link href="https://fonts.googleapis.com/css2?family=Roboto:wght@400&display=swap" rel="stylesheet">
  <link rel="stylesheet" type="text/css" href="teacherStyle.css">
  <title>Teacher main page</title>
</head>

<body> 
  <?php
  include($root . "/teacher/header.php");
  include($root . "/teacher/mainPage.php");
  include($root . "/teacher/footer.php");
  ?>
</body>